Efficient Strong Sequentiality Using Replacement Restrictions

نویسنده

  • Salvador Lucas
چکیده

Huet and L evy deened the (orthogonal) strongly sequential term rewriting systems, for which index reduction, i.e., reduction of re-dexes placed at special positions called (strong) indices, is optimal and normalizing. Despite the fact that Huet and L evy give an algorithm to compute indices for the general case, there are many proposals to deene subclasses of strongly sequential rewrite systems for which this can be done more eeciently. In this paper, we show that sometimes it is possible to enlarge such classes by only introducing xed replacement restrictions, without forcing any sensible modiication of the corresponding index reduction strategy.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Strong Stability and Higher-Order Sequentiality

We propose a deenition by reducibility of sequentiality for the interpretations of higher-order programs and prove the equivalence between this notion and strong stability.

متن کامل

A Refinement of Strong Sequentiality for Term Rewriting with Constructors

The notion of call-by-need evaluation has turned out to be very fruitful when applied to dialects of the i-calculus (Henderson and Morris, 1976, in “Proc. 3rd ACM Symp. on the Principles of Programming Languages, Atlanta; Kahn and Mac Queen, 1977, in “IFIP 77,” North-Holland, Amsterdam; Turner, 1979, Software Practice and Experience, Vol. 9; Vuillemin, 1974, J. Cornput. System3 .Sci. 9, 332-354...

متن کامل

Sequentiality, Second Order Monadic Logic and Tree Automata

Given a term rewriting system R and a normalizable term t, a redex is needed if in any reduction sequence of t to a normal form, this redex will be contracted. Roughly, R is sequential if there is an optimal reduction strategy in which only needed redexes are contracted. More generally, G. Huet and J.-J. L evy deene in 9] the sequentiality of a predicate P on partially evaluated terms. We show ...

متن کامل

Sequentiality, Monadic Second-Order Logic and Tree Automata

Given a term rewriting system R and a normalizable term t, a redex is needed if in any reduction sequence of t to a normal form, this redex will be contracted. Roughly, R is sequential if there is an optimal reduction strategy in which only needed redexes are contracted. More generally, G. Huet and J.-J. L evy de ne in [9] the sequentiality of a predicate P on partially evaluated terms. We show...

متن کامل

Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with Constructors

We introduce the notions of sequentiality and strong sequentiality in order-sorted rewriting systems, both closely related to the subsort order and to the form of declarations of the signature. We deene free sequentiality for the class of orthogonal systems with constructors, a notion which does not impose conditions over the signature. We provide an eeective decision procedure for free sequent...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997